2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, ... Computer Science and General Issues)
Автор:
Klaus Ambos-Spies
, Автор:
Benedikt Lowe
, Автор:
Wolfgang Merkle
Категория:
Компьютеры
Размер книги: 6.42 Mb
Logic and the Foundations of Game and Decision Theory - LOFT 8: 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised ... Lecture Notes in Artificial Intelligence)
Автор:
Giacomo Bonanno
, Автор:
Benedikt Lowe
, Автор:
Wiebe van der Hoek
Категория:
Математика
,
Математическая логика
Размер книги: 2.15 Mb
New Computational Paradigms: Changing Conceptions of What is Computable
Автор:
S.B. Cooper
, Автор:
Benedikt Lowe
, Автор:
Andrea Sorbi
Категория:
Математика
,
Вычислительная математика
Размер книги: 2.59 Mb
Infinity in Logic and Computation: International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers (Lecture ... Lecture Notes in Artificial Intelligence)
Автор:
Margaret Archibald
, Автор:
Vasco Brattka
, Автор:
Valentin F. Goranko
, Автор:
Benedikt Lowe
Категория:
Математика
,
Вычислительная математика
Размер книги: 2.00 Mb
Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I (Lecture Notes in Logic, Volume 31)
Автор:
Alexander S. Kechris
, Автор:
Benedikt Lowe
, Автор:
John R. Steel
Категория:
Математика
,
Математическая логика
Размер книги: 3.77 Mb
Interactive Logic: Selected Papers from the 7th Augustus de Morgan Workshop, London (AUP - Texts in Logic and Games)
Автор:
Johan van Benthem
, Автор:
Benedikt Lowe
, Автор:
Dov M. Gabbay
Размер книги: 3.10 Mb
